package vistaprincipal;

public class FNP {

String FNDP;
String FNCP;

 public static FNP metodititito (Tabla T) {
FNP fnp= new FNP();
fnp.FNCP="";
fnp.FNDP="";
for(int i=0;i<T.respuesta.length;i++)
{
     for(int k=0;k<T.atom.length;k++)
     {
        if(T.respuesta[i]==1)
        {
             if(k==0)
                 fnp.FNDP+="(";
            if(T.atom[k][i]==1)
                 fnp.FNDP+=T.Eatom[k];
            if(T.atom[k][i]==0)
                 fnp.FNDP+="7"+T.Eatom[k];
             if(k==T.atom.length-1)
               fnp.FNDP+=")"+(T.respuesta.length-i-1)+"∨";
             else
               fnp.FNDP+="∧";
        }
        else{
                if(T.respuesta[i]==0){
                     if(k==0)
                         fnp.FNCP+="(";
                    if(T.atom[k][i]==0)
                         fnp.FNCP+=T.Eatom[k];
                    if(T.atom[k][i]==1)
                         fnp.FNCP+="7"+T.Eatom[k];
                     if(k==T.atom.length-1)
                       fnp.FNCP+=")"+(T.respuesta.length-i-1)+"∧";
                     else
                       fnp.FNCP+="∨";
                }
                else{
                    fnp.FNDP="Error";
                    fnp.FNCP="Error";
                    return fnp;
                }
        }
     }
 }
if (fnp.FNDP.length()!=0) fnp.FNDP = fnp.FNDP.substring(0,fnp.FNDP.length()-1);
if (fnp.FNCP.length()!=0) fnp.FNCP = fnp.FNCP.substring(0,fnp.FNCP.length()-1);

return fnp ;
}   
}